derivative of ln(cosx)